Works by S. J. Surma

( view other items matching `S. J. Surma`, view all matches )
8 found
Order:
  1. A generalisation of the Tarski-herbrand deduction theorem.S. J. Surma - 1991 - Logique Et Analyse 135 (133-140):319-331.
     
    Export citation  
     
    Bookmark  
  2.  30
    A note on indirect deduction theorems valid in łukasiewicz's finitely-valued propositional calculi.S. J. Surma - 1973 - Studia Logica 31 (1):142-142.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  36
    Indirect-deduction theorems.S. J. Surma - 1967 - Studia Logica 20 (1):164-166.
    By indirect-deduction theorems introduced in the present paper we mean the theorems that allow to formalize indirect reasonings occurring in deductive practice in general and in mathematics in particular. We discuss the relationship between the introduced theorems and some logical calculi being virtually confined to propositional calculi with implication and negation. It is worth to notice that the above theorems are very handy and effective in proving logical theses.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4. On closure operators one-to-one associated with fixed object languages. Abstract.S. J. Surma - 1995 - Bulletin of Symbolic Logic 1 (3):358.
     
    Export citation  
     
    Bookmark   1 citation  
  5. Towards an abstract theory of Lindenbaum operators. Abstract.S. J. Surma - 1996 - Bulletin of Symbolic Logic 2 (1):119-120.
     
    Export citation  
     
    Bookmark   1 citation  
  6.  33
    Theorems on deduction for descending implications.S. J. Surma - 1968 - Studia Logica 22 (1):78-80.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  13
    Twierdzenia O dedukcji ważne W pewnych fragmentach systemów s2 lewisa I T feysa-Von wrighta.S. J. Surma - 1973 - Studia Logica 31 (1):137-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  39
    Reviews - J. H. Woodger. Translator's preface. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. vii–ix. - Alfred Tarski. Author's acknowledgments.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. xi–xii. - Alfred Tarski. On the primitive term of logistic. Modified English translation based on 2852–4. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 1–23. - Alfred Tarski. Foundations of the geometry of solids.Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, pp. 24–29. - Alfred Tarski. On some fundamental concepts of metamathematics. English translation of 2857. Logic, semantics, metamathematics, papers from 1923 to 1938.Oxford at the Clarendon Press, London1956, 30–37. - Jan Łukasiewicz and Alfred Tarski. Investigations into the sentential calculus. English transl. [REVIEW]W. A. Pogorzelski & S. J. Surma - 1969 - Journal of Symbolic Logic 34 (1):99-106.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark